The Bene ts of Relaxing Punctuality
نویسندگان
چکیده
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satis ability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time di erence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXPSPACE-complete. This result allows us to develop an algorithm for the veri cation of timing properties of real-time systems with a dense semantics.
منابع مشابه
The Bene ts of Relaxing Punctuality 1
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satissability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time diierence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...
متن کاملSocial Security: Universal vs Earnings-Dependent Benets
In this paper, I compare the welfare implications of implementing Bismarckian and Beveridgean social security systems. I rst judge a social security system with universal bene ts against one with earningsdependent bene ts that provides the same level of bene ts. Surprisingly, I nd that agents can be better o¤ with the implementation of a system with universal bene ts both in the short and in ...
متن کاملThe potential contributions of sports sponsorship in impacting the product adoption process
Bene ts sought by businesses that sponsor sports events are discussed and links made between these bene ts and the stages of a potential customer’s product purchase decision-process. The wide variety of bene ts are classi ed into four main categories: increased awareness, enhanced image, product trial or sales opportunities, and hospitality opportunities. The risks associated with business ...
متن کاملSocial Security
I frequently nd economists who express a view of the system that is very far from mine. For example, many young economists and economics students say that they expect to get no bene ts at all from Social Security. This expectation does not seem sensible to me. If there is no legislation changing Social Security, trust fund assets and payroll tax revenue (and revenue from the taxation of bene...
متن کاملMate choice for offspring performance: major bene®ts or minor costs?
There is considerable disagreement over whether or not gaining viability bene¢ts to o¡spring could be substantial enough to overcome the costs of female choosiness. A recent review suggested that the `lek paradox' might be resolved by large indirect bene¢ts as indicated by highly heritable ornamental traits. We selected males of a wolf spider Hygrolycosa rubrofasciata in relation to their sexua...
متن کامل